10181. Tutorial, software management
Author: ]edited by[ Donald J. Reifer
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer programming management
Classification :
QA
76
.
6
.
T888
1986
10182. Twisted network programming essential
Author: / Abe Fettig
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer networks--Design and construction,Internet programming.,Open source software.,Python (Computer program language)
Classification :
QA
,
76
.
73
,.
P98
,
F48
,
2005
10183. Twisted network programming essentials
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Python (Computer program language) ; Internet programming ; Computer networks ; Design and construction ; Open source software ;
10184. Twisted network programming essentials
Author: / Abe Fettig
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Python (Computer program language),Internet programming,Computer networks- Design and construction,Open source software
Classification :
QA76
.
73
.
P98
,
F48
2005
10185. Twisted network programming essentials
Author: / Abe Fettig
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Python (Computer program language),Internet programming,Computer networks- Design and construction,Open source software
Classification :
QA76
.
73
.
P98
,
F48
2005
10186. Twisted network programming essentials
Author: / Abe Fettig
Library: (South Khorasan)
Subject: Python (Computer program language),Internet programming,Computer networks--Design and construction,Open source software
Classification :
QA76
.
73
.
P98
,
F48
2005
10187. Twisted network programming essentials
Author: / Abe Fettig,At head of title on cover: Event-driven network programming with Python.
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Python (Computer program language),Internet programming,Computer networks--Design and construction,Open source software
Classification :
QA76
.
73
P98
F48
10188. Twisted network programming essentials
Author: Jessica McKellar, Abe Fettig
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Design and construction,Internet programming,Open source software,Python (Computer program language)
Classification :
QA76
.
73
.
P98
F48
2013
10189. Two scoops of Django :
Author: Daniel Greenfeld, Audrey Roy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Django (Electronic resource),Computer programming.,Programming languages (Electronic computers),Python (Computer program language),Web site development.
10190. Two scoops of Django :
Author: Daniel Roy Greenfeld, Audrey Roy Greenfeld.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Django (Electronic resource),Computer programming.,Programming languages (Electronic computers),Python (Computer program language),Web site development.
10191. Type systems for distributed programs :
Author: Ornela Dardha
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
V47
10192. Type theory and functional programming /
Author: Simon Thompson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Type theory
Classification :
QA76
.
62
.
T46
1991
10193. Types for proofs and programs :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
10194. Types for proofs and programs
Author: / Paul Callaghan ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Computer programming--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
T96
,
2000
10195. Types for proofs and programs :
Author: Paul Callaghan ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Computer programming, Congresses
Classification :
QA76
.
9
.
A96
T96
2000
10196. Types for proofs and programs :
Author: Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Computer programming, Congresses
Classification :
QA76
.
9
.
A96
T96
2004
10197. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Author: Paul Callaghan...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
2277
10198. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
Author: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1657
10199. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
Author: Thierry Coquand...]et al.[, )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1956
10200. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
Author: Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
3085
